An algebraic approach to temporal network analysis based on temporal quantities
نویسندگان
چکیده
منابع مشابه
An Algebraic Approach to Temporal Logic
A b s t r a c t . The sequential calculus is an algebraic calculus, intended for reasoning about phenomena with a duration and their sequencing. It can be specialized to various domains used for reasoning about programs and systems, including Tarski's calculus of binary relations, Kleene's regular expressions, Hoare's CSP and Dijkstra's regularity calculus. In this paper we use the sequential c...
متن کاملA PRACTICAL APPROACH TO REAL-TIME DYNAMIC BACKGROUND GENERATION BASED ON A TEMPORAL MEDIAN FILTER
In many computer vision applications, segmenting and extraction of moving objects in video sequences is an essential task. Background subtraction, by which each input image is subtracted from the reference image, has often been used for this purpose. In this paper, we offer a novel background-subtraction technique for real-time dynamic background generation using color images that are taken fro...
متن کامل2 An Algebraic - Temporal Speci
This paper presents a formal development of a CSMA/CD (Carrier Sense, Multiple Access with Collision Detection) protocol. Using a combination of temporal logic and algebraic speciications we describe the message layout and the behavioral aspects of the protocol in a uniied framework. We beneet from the deduction system of temporal logic to establish safety and liveness properties of the protocol.
متن کاملSpatio-temporal analysis of the covid-19 impacts on the using Chicago urban shared bicycles by tensor-based approach
Cycling is a phenomenon in urban transportation that has the ability to allocate a specific location at any moment in time. Accordingly, spatial analysis of bicycle trips can be accompanied by temporal analysis. The use of a GIS environment is commonly recommended to display the extent of the phenomenon's spatial changes. However, in order to apply and display changes over time, it will requir...
متن کاملA Temporal Approach to Stochastic Network Calculus
Stochastic network calculus is a newly developed theory for stochastic ser-vice guarantee analysis of computer networks. In the current stochastic net-work calculus literature, its fundamental models are based on the cumulativeamount of traffic or cumulative amount of service. However, there are net-work scenarios where direct application of such models is difficult. This pa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Social Network Analysis and Mining
سال: 2016
ISSN: 1869-5450,1869-5469
DOI: 10.1007/s13278-016-0330-4